This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A"
Artifacts for the NDSS '24 paper, Compromising Industrial Processes using Web-Based Programmable Log...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separa...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact submitted to the OOPSLA 2023 artifact evaluation committee for the paper "Verif...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifacts for the NDSS '24 paper, Compromising Industrial Processes using Web-Based Programmable Log...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separa...
This is the artifact for the PLDI'23 paper "VMSL: A Separation Logic for Mechanised Robust Safety of...
This is the artifact accompanying the OOPSLA 2020 paper "Igloo: Soundly Linking Compositional Refine...
This is the artifact for the PLDI 2023 submission "CommCSL: Proving Information Flow Security for Co...
This is the artifact for the OOPSLA '23 paper 'Proof Automation for Linearizability in Separation Lo...
This is an artifact for reproducing experiments published in the paper. Please refer to the README f...
This is a compressed VM artifact for the "Computing Correctly with Inductive Relations" paper accept...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
The artifact for the Merging Inductive Relations paper. The artifact is a virtual machine OVA file, ...
This is the artifact of the paper "The Essence of Verilog: A Tractable and Tested Operational Semant...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact submitted to the OOPSLA 2023 artifact evaluation committee for the paper "Verif...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
Artifacts for the NDSS '24 paper, Compromising Industrial Processes using Web-Based Programmable Log...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact accompanying the POPL20 paper "The Future is Ours: Prophecy Variables in Separa...
DOI
Add to ORKG